package mac5789.phase;

/**
 * Medidor de percentual de satisfatibilidade
 * @author lundberg
 *
 */
public interface SatisfiabilityMeasurer {

	/**
	 * Mede o percentual de satisfatibilidade dos problemas 3-SAT com o número de variáveis e cláusulas dado.
	 * @param nVariables número de variáveis envolvidas
	 * @param nClauses numero de cálculas envolvidas
	 * @return percentual de problemas satisfatíveis, entre 0 e 1.
	 */
	double measure(int nVariables, int nClauses);
}
